/* The side navigation menu */
.sidenav {
    height: 100%; /* 100% Full-height */
    width: 25%; 
    background-color: #1a222c; /* Match homepage*/
    position: fixed; /* Stay in place */
    z-index: 1; /* Stay on top */
    top: 0; /* Stay at the top */
    left: 0;
    font-size: 18px;
    padding: 8px 5px; /* list padding nest*/
    overflow-x: hidden; /* Disable horizontal scroll */
    overflow-y: scroll; /* Enable vertical scroll*/
    color: white;/*white font*/
    padding-bottom: 3%;
    margin-bottom: 8%;
}

.toc-container {
    height: 100%;
    margin-bottom: 8%;
    padding-bottom: 50px;
}

/* When you mouse over the navigation links, change their color */
.sidenav a:hover {
    color: #f1f1f1;
}

/* Style page content - use this if you want
 to push the page content to the right when 
 you open the side navigation */
#main {
    padding: 20px;
    margin-left : 6%;
    margin-right : 6%
}

/* On smaller screens, where height is less than 
450px, change the style of the sidenav (less padding
 and a smaller font size) */
@media screen and (max-width: 500px) {
    .sidenav {
			z-index: 1;
		}
    .sidenav a {font-size: 18px;}
		#main {
    padding: 1px;
    margin-left : 1%;
    margin-right : 1%;
}
}


